Abstraction and Ontology: Questions as Propositional Abstracts in Type Theory with Records
نویسنده
چکیده
ion and Ontology: questions as propositional abstracts in type theory with records Jonathan Ginzburg∗ Department of Computer Science King’s College, London The Strand, London WC2R 2LS [email protected] http://www.dcs.kcl.ac.uk/staff/ginzburg/papers
منابع مشابه
A Semantics for Equational Hybrid Propositional Type Theory
The definition of identity in terms of other logical symbols is a recurrent issue in logic. In particular, in First-Order Logic (FOL) there is no way of defining the global relation of identity, while in standard Second-Order Logic (SOL) this definition is not only possible, but widely used. In this paper, the reverse question is posed and affirmatively answered: Can we define with only equalit...
متن کاملDynamic, Automatic, First-Order Ontology repair by Diagnosis of Failed Plan Execution
ion and Refinement The reasons that ontologies are altered are very often concerned with the fact that too much or, more often, too little detail has been included in the ontology. This creates the need to remove detail performing an abstraction of the ontology, or add detail performing a refinement. Notions of abstractions are often quite vague, but the theory of abstracting first-order ontolo...
متن کاملAnalytic Tableaux for Simple Type Theory and its First-Order Fragment
We study simple type theory with primitive equality (STT) and its first-order fragment EFO, which restricts equality and quantification to base types but retains lambda abstraction and higher-order variables. As deductive system we employ a cut-free tableau calculus. We consider completeness, compactness, and existence of countable models. We prove these properties for STT with respect to Henki...
متن کاملKnowledge Retrieval from PubMed Abstracts and Electronic Medical Records with the Multiple Sclerosis Ontology
BACKGROUND In order to retrieve useful information from scientific literature and electronic medical records (EMR) we developed an ontology specific for Multiple Sclerosis (MS). METHODS The MS Ontology was created using scientific literature and expert review under the Protégé OWL environment. We developed a dictionary with semantic synonyms and translations to different languages for mining ...
متن کاملPropositions, Questions, and Adjectives: a rich type theoretic approach
We consider how to develop types corresponding to propositions and questions. Starting with the conception of Propositions as Types, we consider two empirical challenges for this doctrine. The first relates to the putative need for a single type encompassing questions and propositions in order to deal with Boolean operations. The second relates to adjectival modification of question and proposi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Log. Comput.
دوره 15 شماره
صفحات -
تاریخ انتشار 2005